Betin-Can, Aysu : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (13)
Les plus populaires
Liste
- Liste
- Tableau

1

Web application testing: A systematic literature review

Doğan, Serdar, Betin-Can, Aysu, Garousi, Vahid

Journal:

Journal of Systems and Software

Année:

2014

Langue:

english

Fichier:

PDF, 2.84 MB

english, 2014

2

Automated Video Game Testing Using Synthetic and Human-Like Agents

Ariyurek, Sinan, Betin-Can, Aysu, Surer, Elif

Journal:

IEEE Transactions on Games

Année:

2019

Fichier:

PDF, 8.48 MB

2019

3

Interface-Based Specification and Verification of Concurrency Controllers

Aysu Betin-Can, Tevfik Bultan

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 939 KB

english, 2003

4

Highly dependable concurrent programming using design for verification

Aysu Betin-Can, Tevfik Bultan

Journal:

Formal Aspects of Computing

Année:

2007

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2007

5

Experimenting with software testbeds for evaluating new technologies

Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif Memon, Marvin Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Chris Ackermann, Bettina Anders, Sima Asgari, Victor Basili, Lorin Hochstein, Jörg Fellmann, Fo

Journal:

Empirical Software Engineering

Année:

2007

Langue:

english

Fichier:

PDF, 502 KB

english, 2007

6

A systematic mapping study of web application testing

Garousi, Vahid, Mesbah, Ali, Betin-Can, Aysu, Mirshokraie, Shabnam

Journal:

Information and Software Technology

Année:

2013

Langue:

english

Fichier:

PDF, 2.70 MB

english, 2013

7

A survey of software engineering practices in Turkey

Garousi, Vahid, Coşkunçay, Ahmet, Betin-Can, Aysu, Demirörs, Onur

Journal:

Journal of Systems and Software

Année:

2015

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2015

8

[ACM Press the 14th international conference - Chiba, Japan (2005.05.10-2005.05.14)] Proceedings of the 14th international conference on World Wide Web - WWW '05 - Design for verification for asynchronously communicating Web services

Betin-Can, Aysu, Bultan, Tevfik, Fu, Xiang

Année:

2005

Langue:

english

Fichier:

PDF, 146 KB

english, 2005

9

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Application of design for verification with concurrency controllers to air traffic control software

Betin-Can, Aysu, Bultan, Tevfik, Lindvall, Mikael, Lux, Benjamin, Topp, Stefan

Année:

2005

Langue:

english

Fichier:

PDF, 179 KB

english, 2005

10

Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

Betin-Can, Aysu, Halle, Sylvain, Bultan, Tevfik

Journal:

IEEE Transactions on Services Computing

Année:

2013

Langue:

english

Fichier:

PDF, 936 KB

english, 2013

11

[IEEE 2016 IEEE International Conference on Smart Cloud (SmartCloud) - New York, NY, USA (2016.11.18-2016.11.20)] 2016 IEEE International Conference on Smart Cloud (SmartCloud) - Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones: An Overview

Al-Turjman, Fadi, Betin-Can, Aysu, Ever, Enver, Alturjman, Sinem

Année:

2016

Fichier:

PDF, 281 KB

2016

12

Multi-objective regression test selection in practice: an empirical study in the defense software industry

Garousi, Vahid, Özkan, Ramazan, Betin-Can, Aysu

Journal:

Information and Software Technology

Année:

2018

Langue:

english

Fichier:

PDF, 1.44 MB

english, 2018

13

[IEEE 2020 IEEE Conference on Games (CoG) - Osaka, Japan (2020.8.24-2020.8.27)] 2020 IEEE Conference on Games (CoG) - Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing

Ariyurek, Sinan, Betin-Can, Aysu, Surer, Elif

Année:

2020

Fichier:

PDF, 965 KB

2020